[FS-736] ACME Create DPoP Access Token#2652
Conversation
6eb8d97 to
44309f1
Compare
f465672 to
501ef68
Compare
6e4d7f6 to
95ff755
Compare
|
re 3226c9c: this isn't done, but it should show you what i want to do differently:
I don't insist on this change, but it revealed to me that the error types in haskell do not map to the errors in rust very cleanly, so at least that part I would like to see fixed. |
This reverts commit 3226c9c.
fisx
left a comment
There was a problem hiding this comment.
I've reverted my last commit to make this compile again. please cherry-pick it if you decide it's useful.
Also, more comments. :)
| toCStr = liftIO . newCString . toStr | ||
| where | ||
| toStr :: a -> String | ||
| toStr = cs . toByteString' |
There was a problem hiding this comment.
newCString takes a String?! that's horrible. :')
but ok, then this is fine i suppose... you could have also left things inline and written (cs @ByteString @String) instead of cs.
| fromUnion (Z (I ())) = Nothing | ||
| fromUnion (S (Z (I (DeletionCodeTimeout t)))) = Just t | ||
| fromUnion (S (S x)) = case x of {} | ||
| fromUnion (S (S x)) = case x of |
There was a problem hiding this comment.
Is this because x :: Void? can't you just skip this case, then? (it's nice to have it there explicitly, just trying to understand.)
There was a problem hiding this comment.
Annoyingly, this change was made by my code formatter, but it does not match the formatting that is expected on CI. I reverted the change.
fisx
left a comment
There was a problem hiding this comment.
I added two more commits and merged develop. Please take another look, but otherwise LGTM!
|
|
||
| instance AsHeaders '[AssetLocation r] Asset (Asset, AssetLocation r) where | ||
| toHeaders (asset, loc) = (I loc :* Nil, asset) | ||
| fromHeaders (I loc :* Nil, asset) = (asset, loc) |
There was a problem hiding this comment.
What's the motivation for this removal that appears unrelated to this PR?
There was a problem hiding this comment.
In this PR a generic version of this is introduced so this instance is obsolete.
https://wearezeta.atlassian.net/browse/FS-736
Since this is just the "skeleton" implementation for this feature, and the rust library this feature depends on is not finished either, documentation, exhaustive tests, and release notes will be in a separate PR.
Checklist